On representable ordered residuated semigroups
نویسندگان
چکیده
منابع مشابه
On representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.
متن کاملThe equational theories of representable residuated semigroups
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.
متن کاملLower Semilattice-Ordered Residuated Semigroups and Substructural Logics
We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural l...
متن کاملRepresentable Idempotent Commutative Residuated Lattices
It is proved that the variety of representable idempotent commutative residuated lattices is locally finite. The n-generated subdirectly irreducible algebras in this variety are shown to have at most 3n+1 elements each. A constructive characterization of the subdirectly irreducible algebras is provided, with some applications. The main result implies that every finitely based extension of posit...
متن کاملOn Representable Mappings of Semigroups into Cardinals
Let S be a semigroup and f be a mapping of S into the class of nonzero cardinal numbers. The mapping f is said to be representable if there exist a groupoid G and a homomorphism h of G onto S such that Ker(h) is the least congruence of G for which the corresponding factor is a semigroup and f(a) = Cardh(a) for all a ∈ S. The investigation of representable mappings (see the papers [2] and [3]) i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2010
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzq044